Search Results
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
A gentle intro to TLA+
TLA 1.1: Introduction to TLA+
Lamport TLA+ Course Lecture 4: Die Hard (HD)
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
Leslie Lamport: Thinking Above the Code
Lamport TLA+ Course Lecture 8: Paxos Commit Part 2: How it Works (HD)
TLA+
